On Polynomial Kernels for Structural Parameterizations of Odd Cycle Transversal
نویسندگان
چکیده
TheOdd Cycle Transversal problem (oct) asks whether a given graph can be made bipartite (i.e., 2-colorable) by deleting at most l vertices. We study structural parameterizations of oct with respect to their polynomial kernelizability, i.e., whether instances can be efficiently reduced to a size polynomial in the chosen parameter. It is a major open problem in parameterized complexity whether Odd Cycle Transversal admits a polynomial kernel when parameterized by l. On the positive side, we show a polynomial kernel for oct when parameterized by the vertex deletion distance to the class of bipartite graphs of treewidth at most w (for any constant w); this generalizes the parameter feedback vertex set number (i.e., the distance to a forest). Complementing this, we exclude polynomial kernels for oct parameterized by the distance to outerplanar graphs, conditioned on the assumption that NP * coNP/poly. Thus the bipartiteness requirement for the treewidth w graphs is necessary. Further lower bounds are given for parameterization by distance from cluster and co-cluster graphs respectively, as well as for Weighted oct parameterized by the vertex cover number (i.e., the distance from an independent set).
منابع مشابه
Kernelization Lower Bounds By Cross-Composition
We introduce the cross-composition framework for proving kernelization lower bounds. A classical problem L and/or-cross-composes into a parameterized problem Q if it is possible to efficiently construct an instance of Q with polynomially bounded parameter value that expresses the logical and or or of a sequence of instances of L. Building on work by Bodlaender et al. (ICALP 2008) and using a re...
متن کاملPreprocessing Subgraph and Minor Problems: When Does a Small Vertex Cover Help?
We prove a number of results around kernelization of problems parameterized by the size of a given vertex cover of the input graph. We provide three sets of simple general conditions characterizing problems admitting kernels of polynomial size. Our characterizations not only give generic explanations for the existence of many known polynomial kernels for problems like q-Coloring, Odd Cycle Tran...
متن کاملMinimum connected transversals in graphs: New hardness results and tractable cases using the price of connectivity
We perform a systematic study in the computational complexity of the connected variant of three related transversal problems: Vertex Cover, Feedback Vertex Set, and Odd Cycle Transversal. Just like their original counterparts, these variants are NP-complete for general graphs. A graph G is H-free for some graph H if G contains no induced subgraph isomorphic to H . It is known that Connected Ver...
متن کاملIndependent Feedback Vertex Set for P_5-free Graphs
The NP-complete problem Feedback Vertex Set is that of deciding whether or not it is possible, for a given integer k ≥ 0, to delete at most k vertices from a given graph so that what remains is a forest. The variant in which the deleted vertices must form an independent set is called Independent Feedback Vertex Set and is also NP-complete. In fact, even deciding if an independent feedback verte...
متن کاملConstrained Hitting Set and Steiner Tree in SCk and 2K2-free Graphs
Strictly Chordality-k graphs (SCk) are graphs which are either cycle-free or every induced cycle is of length exactly k, k ≥ 3. Strictly chordality-3 and strictly chordality-4 graphs are well known chordal and chordal bipartite graphs, respectively. For k ≥ 5, the study has been recently initiated in [1] and various structural and algorithmic results are reported. In this paper, we show that ma...
متن کامل